Software Verification

IBM eServer z900 system microcode verification by simulation: The virtual power-on process

Information Systems / Software Verification / Computer Software